Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
471	CHAPTER 4 The Process Design and programming are human activities; forget that and all is lost. Bjarne Stroustrup, 1991 We use processes because we are afraid. We are afraid that Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 20:52:01 Software development process Formal methods Software project management Software engineering Software engineers Unified Process Grady Booch Iteration Object-oriented analysis and design Software development Computing Software
472	Cancer research in the era of next-generation sequencing and big data calls for intelligent modeling Add to Reading List Source URL: www.cjcjournal.com Language: English Cancer research Formal sciences The Cancer Genome Atlas Oncogenes Bioinformatics Data analysis Mathematical model Ras subfamily Cancer Medicine Biology Oncology
473	AN AUTOMATED CHANGE DETECTION SYSTEM: MAKING CHANGE DETECTION APPLICABLE TO A PRODUCTION ENVIRONMENT W. TOMPKINSON, E. SEAMAN, D. HOLLAND AND J. GREENWOOD Ordnance Survey, Research & Innovation. Romsey Road, Southampton, Add to Reading List Source URL: www.ordnancesurvey.co.uk Language: English - Date: 2014-05-14 06:54:02 Image processing Vision Earth Formal sciences Geographic information system Photogrammetry Remote sensing Segmentation Image analysis Cartography Computer vision Science
474	Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic Add to Reading List Source URL: researcher.ibm.com Language: English - Date: 2013-10-05 22:24:24 Computing Mathematical logic String Comparison of programming languages Context-free grammar Well-formed formula Trimming Rope Algorithm Formal languages Mathematics Logic
475	Introducing the DSI Professor Yike Guo Data Science Institute Add to Reading List Source URL: www.rois.ac.jp Language: English - Date: 2015-03-23 01:27:16 Business intelligence Formal sciences Clinical Data Interchange Standards Consortium Clinical Data Management Visualization Data analysis Analytics Science Statistics Knowledge
476	JMLR: Workshop and Conference Proceedings11th International Conference on Grammatical Inference Bootstrapping Dependency Grammar Inducers from Incomplete Sentence Fragments via Austere Models Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2012-07-22 14:43:16 Computational linguistics Syntax Compiler construction Corpus linguistics Parse tree Parsing Dependency grammar Immediate constituent analysis Context-free grammar Linguistics Formal languages Science
477	A linear delay algorithm for building concept lattices Yang Huang National Center for Biotechnology Information, NLM, NIH Joint work with Martin Farach-Colton work done at Department of Computer Science, Rutgers Universi Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2008-06-23 13:16:32 Theoretical computer science Lattice Formal concept analysis Complete lattice Time complexity Polynomial Ideal lattice cryptography Complemented lattice Abstract algebra Lattice theory Mathematics
478	Efficient Algorithms for Finding Submasses in Weighted Strings Nikhil Bansal Mark Cieliebak Zsuzsanna Lipt´ak Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2004-07-02 22:51:00 Binary arithmetic Binary logarithm Calculus Logarithms String Fourier transform Mathematical analysis Mathematics Formal languages
479	DEPTH & DETAIL Text Content customer comments, online buzz, qualitative research, survey open-ends Add to Reading List Source URL: www.harrisinteractive.com Language: English - Date: 2010-03-11 09:05:39 Natural language processing Statistical natural language processing Data analysis Formal sciences Text analytics Analytics Text mining ADAPA Business analytics Statistics Science Business intelligence
480	Introducing jStart® Beacon Quickly assemble data analytics applications with a web-based visual development environment Add to Reading List Source URL: www-01.ibm.com Language: English - Date: 2014-11-20 11:27:30 Knowledge Data analysis Scientific method Analytics Visualization Science Business intelligence Formal sciences

UPDATE